generalized Hoare logic
广义霍尔逻辑(电路)
热门查询
- taillight n. 尾灯；后灯（等于tail lamp）
- buggery n. 鸡奸；兽奸
- pistachio n. 开心果；阿月浑子果实；阿月浑子树；淡草绿色
- Athey “阿赛”平板拖车
- Pavia n. 帕维亚（意大利西北部村镇, 濒提契诺河）
- thousandfold adj. 千倍的 adv. 千倍地
- stockpot n. 汤锅；杂烩锅
- conservator n. 保护者；管理员
- cutthroat adj. 残酷的；杀人的；剧烈的 n. 谋杀者；凶手
- jumbled adj. 乱七八糟的 vt. 搞乱（jumble的过去分词）
- indebtedness n. 债务；受恩惠
- ague n. 疟疾；发冷；寒颤 n. (Ague)人名；(英)埃格
- Grundy n. 拘泥礼节的人
- breathing space n. 短暂休息；喘息时间 [网络] 呼吸空间；喘息空间；呼吸的空间
- micron n. 微米（等于百万分之一米）
- windage n. 偏差（子弹因风而生的）；[电] 游隙（炮筒内径和炮弹间的空隙）；[军] 风力影响，风力修正量
- Platz [人名] 普拉茨
- transect n. 横断面 vt. 横断；横切
- majore n. (Majore)人名；(意)马约雷；(葡)马若雷
- lethally adv. 致命地；危害地；极具威胁地
考试词汇表
- statistic decision function
- statistic inductive methods
- statistic models evaluation
- statistical analysis method
- statistical analysis system
- statistical burstcorrection
- statistical causal analysis
- statistical characteristics
- statistical collection file
- statistical data processing
- statistical decision method
- statistical decision theory
- statistical demand analysis
- statistical demand function
- statistical ergodic theorem
- statistical estimated value
- statistical fluid mechanics
- statistical graphic symbols
- statistical hypothesis test
- statistical identifiability
